$\forall$$A$:Realizer. $\cdot$ $\parallel$ $A$